Types and Programming Languages - PDFSEARCH.IO - Document Search Engine

Types and Programming Languages
Results: 543

#	Item
51	HAL8 Workshop: A Practical Approach to GHC Language Extensions Matthias Fischmann and S¨onke Hahn {mf,sh}@zerobuzz.net May 2, 2013 Abstract Add to Reading List Source URL: www.bioinf.uni-leipzig.de Language: English - Date: 2013-05-14 07:18:32 Functional programming Functional languages Data types Type theory Source code Generalized algebraic data type Haskell Type class Lisp Macro Guard Pattern matching
52	Introduction to Smalltalk - Chapter 11 - Stacks, queues, linked lists, trees, and graphs  Ivan TomekChapter 11 - Stacks, queues, linked lists, trees, and graphs Overview Although the collection classes presen Add to Reading List Source URL: sdmeta.gforge.inria.fr Language: English - Date: 2014-10-09 10:38:17 Object-oriented programming languages Control flow Abstract data types Smalltalk Stack Exception handling Self VisualWorks Subroutine Objective-C Message passing Eval
53	The OCaml system release 4.03 Documentation and user’s manual Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2016-04-25 11:00:25 Software engineering Computer programming Computing Functional languages Object-oriented programming languages Data types OCaml Generic programming Modular programming Module Set Coupling
54	.ch/careers Ruby Developer cognita develops the issue and media monitoring service blueReport. We collect relevant information from all types of media (websites, social media, printed, TV, …) and provide our clients wi Add to Reading List Source URL: cognita.ch Language: English - Date: 2016-01-05 04:55:42 Software engineering Computing Software Scripting languages Ruby Object-oriented programming languages Cross-platform software JRuby JavaScript Sass TypeScript
55	Uniform Boilerplate and List Processing Add to Reading List Source URL: ndmitchell.com Language: English - Date: 2016-04-19 09:56:22 Software engineering Subroutines Expected value Constructible universe Parameter Object-oriented programming languages Lambda calculus Data types
56	Accelerating Dynamic Detection of Uses of Undefined Values with Static Value-Flow Analysis Ding Ye, Yulei Sui, Jingling Xue Programming Languages and Compilers Group School of Computer Science and Engineering Click to ed Add to Reading List Source URL: cgo.org Language: English - Date: 2014-03-05 20:23:50 Data types Procedural programming languages C++ Object-oriented programming languages Theory of computation Undefined value Const Valgrind Undefined Reference ALGOL 68 Pointer
57	Determinacy in Static Analysis for jQuery Introduction JavaScript programmers need better tools to help detect errors early during development, transform code for refactoring or optimization, and understand existing cod Add to Reading List Source URL: cs.au.dk Language: English - Date: 2014-08-08 03:48:23 Software engineering Computing Computer programming Subroutines Data types Scripting languages Type theory Cross-platform software JQuery JavaScript This TypeScript
58	GADTs and exhaustiveness: looking for the impossible Jacques Garrigue Nagoya University Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2015-09-10 01:45:47 Software engineering Computer programming Computing Functional languages Data types Procedural programming languages Functional programming Type theory Generalized algebraic data type OCaml ML Caml
59	Declarative foreign function binding through generic programming Jeremy Yallop, David Sheets and Anil Madhavapeddy University of Cambridge Computer Laboratory Abstract. Foreign function interfaces are typically organise Add to Reading List Source URL: anil.recoil.org Language: English - Date: 2015-12-17 06:24:32 Software engineering Computer programming Computing C++ C Data types Object-oriented programming languages Functional languages Typedef OCaml Const Pointer

UPDATE